Hypothesis-driven reasoning is a form of backward reasoning, where the system establishes a goal, or expected output and works back from that through sub-goals until basic facts are found to establish the goal.
Used on Chap. 3: page 39
Also known as hypothesis-driven